The Dynamics Characteristics of Flexible Spacecraft and its Closed-Loop Stability with Passive Control

Passive control is the most popular methodology for flexible spacecraft while it remains an open problem whether the closed-loop performance can be achieved only with passive control subject to the coupling modes of rigid and flexibility. Also, the closed-loop performance of passive PD control based on the dynamics of the Euler angle parameterization of spacecraft, which has been widely used in practice, is yet to be addressed. Towards these challenges, by introducing the input-output exact linearization theory and Lyapunov theory, the authors show that the closed-loop performance for flexible spacecraft with rigid and flexible modes can be achieved by adjusting the parameters of the passive controllers sufficiently large. This is done by firstly transforming the flexible spacecraft dynamics into an exact feedback linearization standard form, and then analyzing the closed-loop performance of flexible spacecraft.     

基于知识图谱的核电设备健康管理知识建模与分析

随着信息技术发展,设备健康数据与知识图谱技术结合为设备健康发展带来新的发展机遇,知识图谱利用其多种特异性优势,使企业系统中积累的海量设备维修数据得到有效整合利用.本文提出基于知识图谱的核电设备健康管理知识建模与分析方法,并根据实体关系模型构建维修知识图谱本体框架,同时基于核电企业实际的维修工单数据,从统计分析和关联分析两方面取得良好的实践效果.研究结果表明,知识图谱能够在设备维修知识的集成上解决传统的数据孤岛问题,同时能基于故障的可视化分析为维修人员和管理人员提供决策和知识支持.     

Meet-Cloud for Secure and Accurate Distribution of Negative Messages in Vehicular Ad hoc Network

Keeping Vehicular Ad hoc Network(VANET) from attacks requires secure and efficient distribution of information about bad entities. Negative messages are pieces of information that define the negative attributes of vehicles. By formally defining the negative message, we observe that accuracy is essential for its efficient distribution. We formally define the coverage percentage and accurate coverage percentage to describe the availability and distribution efficiency of negative message. These two metrics can jointly evaluate the performance of a distribution method. To obtain both high coverage percentage and high accurate coverage percentage, we propose meet-cloud, a scheme based on meet-table and cloud computing to securely and accurately distribute negative messages in VANET. A meet-table in a Road Side Unit(RSU) records the vehicles it encounters. All meettables are sent to cloud service to aggregate a global meet-table. The algorithm for distributing and redistributing negative messages are designed. Security analysis shows that meet-cloud is secure against fake and holding on to negative message attacks. Simulations and analysis demonstrate that meet-cloud is secure under denial of service and fake meet-table attacks. The simulation results also justify that meet-cloud outperforms the RSU broadcast and epidemic model.     

Blockage of the NLRP3 inflammasome by MCC950 improves anti-tumor immune responses in head and neck squamous cell carcinoma

The NLRP3 inflammasome is a critical innate immune pathway responsible for producing active interleukin (IL)-1β, which is associated with tumor development and immunity. However, the mechanisms regulating the inflammatory microenvironment, tumorigenesis and tumor immunity are unclear. Herein, we show that the NLRP3 inflammasome was over-expressed in human HNSCC tissues and that the IL-1β concentration was increased in the peripheral blood of HNSCC patients. Additionally, elevated NLRP3 inflammasome levels were detected in tumor tissues of Tgfbr1/Pten 2cKO HNSCC mice, and elevated IL-1β levels were detected in the peripheral blood serum, spleen, draining lymph nodes and tumor tissues. Blocking NLRP3 inflammasome activation using MCC950 remarkably reduced IL-1β production in an HNSCC mouse model and reduced the numbers of myeloid-derived suppressor cells (MDSCs), regulatory T cells (Tregs) and tumor-associated macrophages (TAMs). Moreover, inhibiting NLRP3 inflammasome activation increased the numbers of CD4⁺ and CD8⁺ T cells in HNSCC mice. Notably, the numbers of exhausted PD-1⁺ and Tim3⁺ T cells were significantly reduced. A human HNSCC tissue microarray showed that NLRP3 inflammasome expression was correlated with the expression of CD8 and CD4, the Treg marker Foxp3, the MDSC markers CD11b and CD33, and the TAM markers CD68 and CD163, PD-1 and Tim3. Overall, our results demonstrate that the NLRP3 inflammasome/IL-1β pathway promotes tumorigenesis in HNSCC and inactivation of this pathway delays tumor growth, accompanied by decreased immunosuppressive cell accumulation and an increased number of effector T cells. Thus, inhibition of the tumor microenvironment through the NLRP3 inflammasome/IL-1β pathway may provide a novel approach for HNSCC therapy.     

海、陆两用风力发电实验平台设计

在风电场通过现场测试分析研究风力机性能由于受到现场环境的限制,能够获得的研究数据有限,室内模拟实验平台能够有效弥补研究不足.为此提出了一种海、陆两用风力发电实验平台方案.该实验平台由来风装置、风轮、发电机、两段式塔架、漂浮台、波浪产生装置、传感检测和数据采集系统等构成.在实验平台整体方案基础上,进行了结构参数设计,建立了漂浮台受力分析模型并获得了合理的结构参数,以Lab VIEW为开发环境设计了上位机运行状态监控系统.最后,基于构建的实验平台,开展了部分风力机动态特性研究工作,对比分析了模拟陆地风力机和海上漂浮式风力机时塔架振动特性,为进一步深入开展风力机动态特性研究提供了基础.     

Optimal investment problem for an insurer and a reinsurer

This paper studies the optimal investment problem for an insurer and a reinsurer. The basic claim process is assumed to follow a Brownian motion with drift and the insurer can purchase proportional reinsurance from the reinsurer. The insurer and the reinsurer are allowed to invest in a risk-free asset and a risky asset. Moreover, the authors consider the correlation between the claim process and the price process of the risky asset. The authors ?rst study the optimization problem of maximizing the expected exponential utility of terminal wealth for the insurer. Then with the optimal reinsurance strategy chosen by the insurer, the authors consider two optimization problems for the reinsurer: The problem of maximizing the expected exponential utility of terminal wealth and the problem of minimizing the ruin probability. By solving the corresponding Hamilton-Jacobi-Bellman equations, the authors derive the optimal reinsurance and investment strategies, explicitly. Finally, the authors illustrate the equality of the reinsurer's optimal investment strategies under the two cases.     

兰州黄河岸边卵石层大吨位桩基自平衡法试验研究

对兰州深安黄河大桥进行桩基自平衡法试验。在对黄河岸边的岩土层进行桩基试验时,对桩基的极限侧阻力和端阻力标准值的取值提出建议,并在兰州地区进行自平衡法桩基试验时,对桩基侧摩阻力的取值提出建议。     

A Layer-Stripping Method for 3D Near-Surface Velocity Model Building Using Seismic First-Arrival Times

In order to improve the efficiency of 3D near-surface velocity model building, we develop a layer-stripping method using seismic first-arrival times. The velocity model within a Common Mid-Point (CMP) ...     

连续刚构铁路桥收缩徐变效应监测与分析

对连续刚构铁路桥箱梁温度场及桥梁线形进行长期、连续监测,通过主梁跨中下挠的理论与实测对比揭示了连续刚构铁路桥收缩徐变效应。对比了国内外常用收缩徐变估算模型,选择CEB-FIP徐变模型对黄河特大连续刚构桥进行了有限元分析。采用实测温度数据,以箱梁内测温度、外侧温度、顶底板温度梯度、左右侧温度梯度作为箱梁温度场的评判指标,对箱梁1年内的四季温度场分布进行分析。在基于相同温度场的条件下,通过理论值与实测值对比,发现分析成果与实测结果较吻合,说明混凝土的收缩徐变是引起连续刚构铁路桥跨中下挠的主要原因,对比结果还说明通过改善箱梁顶底板应力差能够改善收缩徐变长期效应。     

Defining G protein-coupled receptor peptide ligand expressomes and signalomes in human and mouse islets

Introduction

Islets synthesise and secrete numerous peptides, some of which are known to be important regulators of islet function and glucose homeostasis. In this study, we quantified mRNAs encoding all peptide ligands of islet G protein-coupled receptors (GPCRs) in isolated human and mouse islets and carried out in vitro islet hormone secretion studies to provide functional confirmation for the species-specific role of peptide YY (PYY) in mouse islets.

Materials and methods

GPCR peptide ligand mRNAs in human and mouse islets were quantified by quantitative real-time PCR relative to the reference genes ACTB, GAPDH, PPIA, TBP and TFRC. The pathways connecting GPCR peptide ligands with their receptors were identified by manual searches in the PubMed, IUPHAR and Ingenuity databases. Distribution of PYY protein in mouse and human islets was determined by immunohistochemistry. Insulin, glucagon and somatostatin secretion from islets was measured by radioimmunoassay.

Results

We have quantified GPCR peptide ligand mRNA expression in human and mouse islets and created specific signalomes mapping the pathways by which islet peptide ligands regulate human and mouse GPCR signalling. We also identified species-specific islet expression of several GPCR ligands. In particular, PYY mRNA levels were ~ 40,000-fold higher in mouse than human islets, suggesting a more important role of locally secreted Pyy in mouse islets. This was confirmed by IHC and functional experiments measuring insulin, glucagon and somatostatin secretion.

Discussion

The detailed human and mouse islet GPCR peptide ligand atlases will allow accurate translation of mouse islet functional studies for the identification of GPCR/peptide signalling pathways relevant for human physiology, which may lead to novel treatment modalities of diabetes and metabolic disease.